WIP: Add type information
Add parameter types to defined types
WIP: insignificant change to function doc
WIP: more work on future language stuff