Yeah, it’s best for a grammar to somehow avoid the typedef problem, where “x * y” might become a declaration if x turns out to be a type. Maybe “id : type = val

Yeah, it’s best for a grammar to somehow avoid the typedef problem, where “x * y” might become a declaration if x turns out to be a type. Maybe “id : type = value” doesn’t always do that?