Removed redundant Ambiguous from AmbTypeNode's explicit super-interfaces.