Restored almost all misc and loops tests.

  - Some 'negate' cases still not working because union types of the form:
    `number + boolean` do not retain tag information.