Add new test case for nested primitives
Have 'applyTy' look through newtypes