LambdaP: fix Mvar def