This makes a few changes that are nice-to-have now, and become more
important down the line:

- adds some missing types to resolvers (a cop violation)
- removes unnecessary field authorization (field authorization does not
  work like that)
- adds extras annotations for `lookahead` etc