make let-style bindings in check forms optional