On Strong Typing