Explored compilation of Type.rsc