Have you all looked into pluggable types at all? It'd be nice to be able to enforce a convention like, any class annotated with type x must prefix all methods w

Have you all looked into pluggable types at all? It'd be nice to be able to enforce a convention like, any class annotated with type x must prefix all methods which call into y with z, and be given warnings/errors at build time. Forgive my ignorance if this is already doable, I work in OS X.