Hola Julian.
Sobre lo primero, usá el símbolo que prefieras (puede ser +++ u otro, no hay problema)
Sobre lo segundo, está perfecto que uses reflexivity. En este práctico la complejidad no está en las pruebas sino en entender bien las cosas a definir.
Saludos, Carlos