Symbol table should map from symbol to top-level.