Updating
Adding pattern tree
Parsing as patterns
Implementing basic type reconstruction/inference