ADDED: Labeled graph module; only rudimentary support for now.