Add defunctionalization symbols to ByHand