Add proc AST tree nodes, integrate with parser.  Compiles, untested otherwise.