Strong-and-Weak-Typing