Dagon comments on Enforcing Type Distinction