Added constraints for fresh variables created during instantiation algorithm
Added the identity fixpoint as example