Import * from syntax.py in the bootstrap to avoid zillions of module references