it works, at least in simple cases. Problem with let-reifications solved?