Fix bitrot due to Idris changes

Specifically: Vect ordering, O->Z and Show instances for Char/String