Started syntax for inductive definitions
Premises without layout
Premises with forced indentation
Inference rules with parenthesized and layout-sensitive premises
Some code cleanup