nothing major, added a copy of builtin_symbols.h to the main tree