Currently, the only way to complete a deferred type is to call the main type-checking routine on its tree (Attr.attribTree). It would be helpful to extend this and to provide a pluggable scheme for allowing new completers to carry out different kinds of checking on the same deferred type. This would simplify the implementation of the 'provisionally applicable' routine.