Added docs to functions as the 'doc' field, and added keys builtin

- Propagated docs change through lams in desugar/typecheck/compile
- Extracted keys helper for sealing stuff
- Refactored fun parser return type and typarams to have less matches