delete automatic generation of equality functions
initial commit of TermComp2014
Merge branch 'master' into poly-instantiation
add polymorphic instantiation
fix instantiation of polymorphic constants