binding prim-defs and tiles to symbol-names