Implement primitive applications
Add another test
Add < and > to prim ops