prove first few cases of compile_val

I think they were Raise and Handle. Var is next.