The spec refers to `a: A` as Ascription, let's keep true to it.
Thanks to @paulp for pointing this out!

Resolves #12