Add some tests for evaluating type-level naturals.