Moving to core.unify's extract-lvars
Using core.unify's flatten-bindings
Simplified a bit more
* Added fail function.
* Made non-map db first-class error condition
The core.unify refer was getting too long