Expand description

TypeVisitable implementations for MIR types