Fix constructor names for idris version 0.9.15

I couldn't find a way to conditionally compile this chunk to be 0.9.14 and 0.9.15 compatible, but I will update the pull request if there is a way.