[drincruz]

I can see this being very useful. Runtime type checking, a contract for code to follow; all should help out with better code quality.