first version with handlers and inhabit that runs; no pattern-matching yet
Added // line comments; found some bugs, demoed in t.tt