Adding the basic tactic language definition.

Still need to add a lot of atomic tactics and check the syntax definition.