ALLTYPES

An ALgebraic Language and TYPE System