Type Inference, written in Source - source-academy/js-slang GitHub Wiki Representing types Representing syntax trees