Built-in data constructors and type aliases should be hardcoded

[raxod502]

Currently, all Kalyn programs must define their own instances of a number of types and type aliases, including Bool, String, List, etc. If these declarations are not imported into every module (even those which do not use them), compilation fails. Furthermore, if the declarations are incorrect, then Kalyn is no longer type-safe. Instead, all types and data constructors that appear in the signatures of primitives should be provided automatically by the compiler and imported automatically into each module.