Import more symbols to symbols.rkt.