Finish the implementation of InputType to produce dhall code from java data

[jneira]

• Some definitions are already written but left most of the work
• In haskell starts here: https://github.com/dhall-lang/dhall-haskell/blob/master/dhall/src/Dhall.hs#L1047