Checks should store slice expression variables using underlying identifiers

[remomueller]

This is to avoid renaming variables/events/designs from breaking existing checks.

• variable ids
• event ids
• design ids

[remomueller]

Moving forward one release.