Only import manually added proofs; stub proof finding objects
Flesh out Theorem::Examiner#explore; general cleanup
Move Formula::import to import script
Negate atom values to value objects