alternative implementation of mk_evar that keeps naive_solver working

This uses a hack to have side-effects in an ltac that returns a value.

Fixes #115 (closed)