New phase: Nullarify

Eliminates ExprTypes and PolyTypes over value types.
Fix Nullarify treating all 'apply' methods as Function0