Fixes some spelling and punctuation errors.
Reifies integer and floating point types.
Include name and size in register attributes.
Makes type mismatch error message more specific (and helpful).
Fixes flo64-type.
Tightens up the syntax for register-type.
Adds tags to literal forms.
Fixes bug in basic-blocks.
Implements int? and uint? predicates.
Brings mem sizes in-line with others.
Implements ->msg for integer literals and nil.
Splits out instruction type checking into check-instruction-type.
Implements check-instruction-syntax.
Implements syntax and type checking for add instruction.
Implements syntax and type checking for inc instruction.
Implements syntax and type checking for mov instruction.
Adds some additional tests for jmp instruction.