Add tests for existing functionality

Fill in the existing test structure.

Especially for the main functions so far:
- well-formed-p
- truep
- semantic-consequence-p
- tautologyp
- all-interpretations