Add pred-ann for arbitrary predicates in types

- Change constructed type syntax to use <>
- Use ann(expr) syntax to define pred-anns
- Add to typecheck.rkt wrappers that use the expr as an extra predicate
  along with the type before the paren part.
- Some cleanup in test-utils and type-tests.rkt