Fix bug in the CastCo instance for Tree circuit
Add trivial CastCircuit instances
add NFData instances for Symbol types
Use higher minded type classes Eq1, Ord1, HasId1