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