less aggressive infer-tag
less aggressive subsume, closes #19
Merge branch 'analyzer-WIP' into compiler-WIP