Add chaining spec.
Add interpreters composition spec.
Add TH spec.