Initial support for an answer-parameterized scheduler.
Numerous modifications to support typed Thunks.