Bug in unify. Now fixed.  Still something weird, but moving on
Alias for membero
Alias for membero
Added unify fixes to literate version
Added a couple lvars
Added a couple lvars
Added a couple lvars
Bumping version