fix result type of limited_solve
use one MVar for signalling, one for result