Support for typed laziness in executor

Fixes #1013.