Halfway through simplified, stratified INHABIT code.
Compiles after stratification. No support for operations/handlers yet, though.