Made rules much more composable. Also changed how recursion happens.
Added recursive functions with lexical or flat scope.
Fixed bug in handling subscript + superscript.