A-normalization, part 2

Current content: Special-case partial applications (@Toxaris, what do you think?).
Soon: start implementing static caching.