Signiant/lambda-promotion not found