‘It works in practice but will it work in theory?’ The uneasy relationship between lexicography and matters theoretical