Make krivine_executable<ANY> concrete.
Make krivine_executable<ANY> concrete.

All exec() have default implementations.
This will make an infinite loop at runtime since the compiler
will not be able to detect non-specialized subclasses.
Not a major problem since can be easily detected in debugger.

masilvabustos/myml