Sugar.Types: Add some comments
_fpInferredType: Always has a Type
Sugar: Builtin definitions: biMSetName -> biSetName: Setting of names not under Maybe