add equality equations to syntax