This fixes all instances of " \t" in the code base. Most common case seems to be after a "where" line; probably vim copied the two space layout of that line. Done as a background task while listening to episode 2 of the Type Theory podcast.
test suite still passes
Added a function to insert a new cost into a list, which could be used to asjust costs after a drag and drop.
