constraints for package/module/import annotations for #698