Fixed hci.lex, hci.gram, and lambda-defs.txt