Add some tests for evaluating type-level naturals.
Refactoring bool primops
Fix tests to work with new primops
Fix imports
Update tests for new primops