Title: Universal Typing for Schools