Saffron type system

This article does not exist yet.