Graphical representation of schemes is controlled by a module of signature
The implementation of the signature
The ground term algebra is specified by an implementation of the signature
Printing of constraints may be parametrized by an implementation of the signature
A (type) scheme is made of a constraint set and a series of entry nodes, its roots.