[dslx][cleanup] procs are not represented with explicit AST nodes

Functions get flattened against the top level of the DSLX module and tagged -- it'd be a higher fidelity representation to encapsulate functions within a proc AST node, so we could ask questions like "am I a function contained in a proc". Will also dovetail with structure for struct implementations (a la methods).