this way we have mir::ConstValue and ty::ValTree as reasonably parallel
unconditional_recursion
lower_intrinsics