Shorthand

[paulyoung]

As mentioned in #24 (comment)

[paulyoung]

I think this is basically there.

It's a bit odd that the *Value type synonyms are (need to be) in the Value module only when shorthand is available.

I thought it made sense for them to be colocated with the corresponding function in the Declaration module; I started moving the rest across too and it seemed odd.