Implementation of some of the steps of type decision.