Added conj and disj
Added conj and disj
Added basic test of disj and conj
Added LVars
Added LVars
Added LVars test
Added bindings
Added bindings extension
Added bindings extension
Added lvar lookup