Fix erroneous package names

Also of note: I believe the idris elem parser in the readme is also ill typed: `string "0123"` is of type `Parser ()` as opposed to the declared type of `Parser String`.