Compiler Front-End Tasks

[DavePearce]

This issue is just to bring together a list of all the things which need to be done in order to compile source-level corset constraints:

• (Syntax). The current syntax for HIR files needs to be fixed to follow corset syntax properly.
• (Functions). Need support for functions declared via defun and defpurefun.
• (Aliases). Need support for aliases declared via defunalias
• (Type Checking). Need support for corset types (e.g. :binary@bool) and type checking.
• (Arrays). Need support for array types
• (Misc). Need support for :display and :opcode attributes.
• (Files). Need support for reading multiple source files.

@booleanfunction FYI