Allow multiple declarations for a given name in a given namespace. Add lookup strategy to get all declarations.
Add check for variable reference without a binding instance.
Check for duplicate constructor names.
Minor refactor