Split Binding type to Variable and Lambda
Added type representation for functions
Haddock comments
Simplified fromDyn