implemented ast, parser and pretty-printer for PROC.
renamed to MonoProc