Fix bug that caused pairs to evaluate to applications.
Optimize the list? function.
Simplify creation of booleans.
Refactor function packages.
Optimize list length.