Tighten constraints on parser
Add data constructors for the ALU instructions not yet implemented