Fixed generic instantiation of Unifier #112