TypeApply transformation added.