fun cleanup_type(mtype: MType): nullable MClassType
	do
		mtype = mtype.anchor_to(self.analysis.mainmodule, self.receiver)
		if mtype isa MNullType then return null
		mtype = mtype.undecorate
		assert mtype isa MClassType
		assert not mtype.need_anchor
		return mtype
	end