Integer combinator for tests
Test: Add piType combinator
simple apply test uses apply combinator
Simplify more tests