Better attempt propagation for Ignore
Sugar for let-expressions