Typir is a library for building type systems - View it on GitHub