Remove let-infix macro

We happen to only use a and b anyways, no need to keep the list itself.