Cleanup (mostly moving type signatures by implementations)
Cleanup (mostly moving type signatures by implementations)

google/codeworld,alphalambda/codeworld,alphalambda/codeworld,alphalambda/codeworld,google/codeworld,google/codeworld