Grift
Grift copied to clipboard
Type manipulation operations such as consistent? and join should be more logically located.
The operations on types should be located in typed file near type-check.rkt