Support simple type and variable declaration.
Support specialized types.
Support function expressions
Support function type.