Add support for inferring types of const/fixed members

[bioball]

These are values where the type cannot by changed by amending, so it makes sense to provide inference support for them.

Also: minor refactor to use TokenSet.