Added tactic files to the repository. They currently do not compile, but
that will be fixed soon enough. They are general enough so that new
connectives can be added on the fly, although no examples of this are
currently added.