Name uniqueness sanity check

fixes #4