Adjust some comments after code review.
Adjust unstatic definition after code review.
Rename SubsetOf to Inject and lift to inject.