Encode refutable `ConLike`s in `TmOracle` for correct warnings in the presence of...