remove compatibility for old Idris versions

this is all I could find so far... if there's more, we can remove more :)
@david-christiansen if you can give it a try that I didn't break anything, that'd be great!