Partial evaluation reflection a la simple-reflect.