syntax: proc types work.
parser: fix bug in type list.