Problems with git; some commits have been skipped; most recent changes: pickling hypotheses, working on original JoshConcepts numbergame