Slowly filling missing pisses in the parser.

Did vals and type declarations and instantiations but still has various
missing bits, which I fill once I can outline how type checker will fit.