change semantics slightly again

the semantics of the rep and abs constants needs to do type
instantiation, because the types of those constants have to include the
instantiated representing type... but when taking its meaning can still
extend the type valuation (rather than instantiating the type).