Add decidable equality instance for String, and a decEq unit test

String is a primitive, but the decEq instance was missing. This PR adds this, along with a unit test to test that decidable equality works for all instances.