Working on signature and completion

Functionality for function signatures and completion on nested records
and types.