Formalize Machine::roots and MyProcessor::roots (for Compiler) in types.def