'Applied' terms now have annotations, too.

This makes parsing slightly more annoying but lets us have a
better Monad instance.