Uniqueness for names #14
Description
Names can be re-used, but will have a hidden id tag associated with them so they can be disambiguated and visualized. Ids are not guaranteed stable across runs and are not accessible from blocks as they are a run-time feature only.