Add Travis to run the tests each commit.
Don't include type-checking in algorithms.

We're including it in the "IDL", so omit it for now. When we go back and tighten everything up, we may transition back to ES-style in-algorithm type checking.