Milner-Mycroft Type System with recursion support, bugfix in bindVar