revert adding more types
revert adding more types
revert adding more types
One more thing for hybrid
LangEquiv
Some fixes for termination
Some fixes for termination
Some fixes for termination, next batch
Hybrid re-done with changed definitions