fix Ord instance of Literal
halfway working interpolation-based mc prototype

It seems as if safe models are detected, but it never halts on
unsafe models. Also, it's terribly hacky code at the moment.