Switch back from uniplate functions

at least until I get them
Don't tell GHC to disable ImplicitPrelude
Tests for implicit prelude