[support] Limiting a term to a type