Fixed exists not binding, but cases could simplify in codegen…