Removing some old, less-good stuff
Now really checking the edges
No more compile warnings
No need for the TypeTags
Removed Manifests and some more TypeTags