Minor fixes. Added rules, nodes, and virtual_addresses fact types.