Initial progress on syntax extension