Don't exit synthesis on wrong index
Conditions for match cases. SimplifierWithPaths now handles guards.
Remove matchToIfThenElse from simplifiers