modify the Expr type to be wrapper around AIGs
more ABC integration...

compiles now,
but does not seem to work...