Cosmetic changes
- names of method's parameters were slightly misleading (considering the usage of the method)
Use TypeVariables' uppermost bounds in AssignabilityRules