nitc :: ALabelable :: defaultinit
# Something that has a label. abstract class ALabelable super Prod # The associated label declatation var n_label: nullable ALabel = null is writable end