Don't export Util module, and clean it up

This pull request renames `NetKAT_Util` to just `Util` and makes it an internal module. In addition, code that's redundant with functions provided by Core were removed.