Rename SubsetOf to Inject and lift to inject.