add naive inference fns (non-RETE version), re-enable unique-bindings? filtering in join fn