Supplements gitignore
adds my_types file for unification
Initial CNF implementation, up to skolemize