implement LogicIR backend for z3

This should use LogicIR.Fold.foldLExpr

added feature label

mentioned in issue #8 (closed)

closed via commit 48f4b2be