Clean up FactorNode, ditch "dollaring"
Add Node.Isomorph and implement for all instances