Removed old inequality replacements
Cleaning up the BL typesystem
Merge remote-tracking branch 'origin/3.0/fisakov/typesystem'

Conflicts:
	languages/baseLanguage/baseLanguage/languageModels/typesystem.mps