Consolidate TOS type mismatch error reporting
Implement literal assertions

- And drop nth.  It's a weird mix between an op and an assertion that
  doesn't fit well with the language.  After conversion to a pure
  assertion it's not that useful anymore, as you need to put it into
  ?() anyway.  So express the same as ?(pos ?N) instead.