Gah, typesystems