Moving Term apply back to the simple version.

This should suffice for what we need.
Improving the module example file.
Fixing modules.
Adding support for logical and notation.
Trying to add tactics and the tactic language.