to-type() now returns an Option.

to-type() now returns an Option, allowing the caller to determine how to
handle locations that are not annotated. This also allows a bug to be
fixed in the default type of arguments in an a-arrow (should be t-bot,
not t-top).