The Easiest Way to Build a Type Checker