initial support for custom name binding constraints such as duplicates,
hiding, missing definitions.