cleanup
BiAnd??
trans_expr_to_assignable
update README