typology 0.1.0

Type derivation for foreign use
Documentation