Add Eq and Show constraints to Syntax
New instances + Substitutable