Andrew Wright's soft type system for R4 Scheme - View it on GitHub