nomcompile3: Build a set of nomenclature files

Following Cleanroom practice, we define a few functions that describe higher-level ideas; these names are referred to in the Cleanroom intended functions of the code.

#================================================================
# Verification functions
#----------------------------------------------------------------