[FEATURE] Label CN specs with property class

[thatplguy]

Summary

Label each function specification with the class of property it specifies. (See the TA2 section of the proposal for a table of property classes.)

Feature

Sandia has requested the ability to count specs by property class to assist the evaluation.

Acceptance Criteria

• Define a unique, searchable label for each property class.
• Add a comment to each function spec labeling the properties it specifies.

Do

See acceptance criteria.

[podhrmic]

Tagging @peterohanley as this is related to your ongoing work writing CN specs for OpenSUT code