Rename the examples folder to test.
Fix and update test files.
Split test files into pass tests and fail tests.
Rename scope to scoping, type to typing, and rule to reduction.
Add a type of sorts.
Update and improve error message functions.