addRuleNode :: Monad m => RuleOp -> TypeId -> a -> InstanceBuilder a b m Int
addRuleNode o t p = do nid <- newNode Rule t p
                       setRuleOperation o N nid
                       return nid
addRuleNode :: Monad m => RuleOp -> TypeId -> a -> InstanceBuilder a b m Int
addRuleNode o t p = do nid <- newNode Rule t p
                       setRuleOperation o N nid
                       return nid
addRuleNode o t p = do nid <- newNode Rule t p
                       setRuleOperation o N nid
                       return nid