add unbound variable error message
add CPS-transform spec (preliminary version)