Reference symbols instead of constructing whole terms from the tactic.
Reference symbols instead of constructing whole terms from the tactic.

This commit also removes the laziness for accessing symbols, since they
are already in the scope at the time the plugin is loaded.

ssaavedra/why3,ssaavedra/why3,ssaavedra/why3