comment
proper speculation loop in exp interpreter
use correct loop sym
disable offline iterative rewriting
lub for structs
proper init states
wip