Deleted handler-stack semantics
Replaced inhabit in TT semantics by generic ops