Cleans up defproc parsing.

Makes statements and values separate attributes of defproc.