type check inhabit results; handler-stack op sem