Fix bug with sequencing 'do' and 'match' nodes
Fix bug where patterns would add assumption for 'undefined'
Attribute each node with its own type, not the whole module's type