Change in handling of types by litmus.
- Still need to adapt litmus type checking (volatile not part of our types)
- Need to carry over the change to herd.
- Types in litmus,
1. Check type parameters
2. "volatile" qualifiers are used on a per parameter basis.
Merge branch 'master' of github.com:herd/herdtools