As Either is no more, remove Either, Left, and Right from syntax files in src/etc