Dual Typing Languages

Moved to DualTypingLanguage to improve naming. ToDo: remove this when back-links repaired.