Cleaned up some code.
Added more tests (which sunfish can't solve)

Ignore ~ files and profiling