add a few things to hypothesis
removed some extra files