Changed: Semanter specs are now parameterized
Added: jsel for inspecting the AST