Add heap_lang library for resolve on CAS.
This MR provides a convenient interface for working with prophecies that are resolve on a (successful) CAS.
This MR provides a convenient interface for working with prophecies that are resolve on a (successful) CAS.