Make it possible to illegalize .asUInt on OpaqueTypes

Subclasses of OpaqueType can override errorOnAsUInt to make it an
elaboration time error if .asUInt is called on an instance of the
particular type (including when nested inside of an Aggregate). This
closes a large loophole in the OpaqueType API.