A-normalization, part 2

* Special-case partial applications (@Toxaris, what do you think?).
* Start implementing static caching, step 1: return all intermediate results. Now finally with code which **starts** being reasonable.

No real tests yet.