Substitution bugs.
Fixed display bug with >= 3 premises.
Added some nifty builtins.
Forgot a needed show instance.
Subscript bug
Free variables should not include a sub rule schematics.
Much saner syntax, STLC example.