Removed an unused package file
Started PeanoVal, but tests hang