Remove old ifdefs for supporting base<4 since we require base>=4

This cleans up some cruft and makes it easier to load bits of idris in `ghci`, which doesn't understand MIN_VERSION_base.