crystal-occtyping

This is a Crystal port of occtyping, written only for the purposes of learning how it works in detail.

TODO Documentation