Cleanup Syntax.idr
Get around bug in Idris implicits