This looks right. But my inclination would be to just abort if the qualified type doesn't already exist; if we refer to such, the frontend should have made it accessible. Jason