fix lambda type rules