Mention fixed bug in LambdaToAlligator concerning no variable bound in an abstraction