Fixed inexhaustive pattern matching cases in TpInterpret.sml