Alternative way to encode the call-by-name beta-breduction