- build abstract syntax trees
- build Firm graphs for many effects, still todos

[r4178]