typesystems description