add documentation to the casadi AST
move more type logic into TypeMaps.hs