Adding an interface to Eqdecide and putting the grammar rules in a dedicated
file.