This is a dummy project to make Travis run tests to type-check Daikon.
Type-check Daikon for the Interning type system