not using LazySubset yet
fix can_simplify
less debugging msgs
fix hybrid call simplifcation. #95
better substitution in hybrid call. #95
not yet using hybrid evaluation