1 2 3
[] Change to lib [] Confirm correctness of rules up to end of SL2. [] Add tests for all rules and types up to SL2.