make JExpr stricter
Handle strictness annotations better and promote them up to code generation