Allow base types to be quantified.