Flatten makeTypeRef case
makeTypeRef doesn't need extra data
makeTypeRef doesn't need expr wrapper, only payload
Infer: makePiType/makeRecordType propagate the real type
makeTypeRef: No need for ScopedTypedValue, only TypedValue