separate fact.go
WIP: writing sexps from interface{}s
WIP: writing proofs but not looking up deps
WIP: dep lookups. no defthms.
collect and spit out var declaratinos
Writing defthms
separate out jobserver
Print import/export statements. Output Verifies!