Update for grammar changes in Idris 0.9.14