Got the beginning of the syntax extension laid out