Token definitions for a subset of JS