Allowing base 4.7

Once you verify that this change is okay, please make sure to bump the version number on `picologic` and `picosat` and upload new versions to Hackage!

Thanks!