Make lia and hammer global
- make
liatactic andbestavailable globally in the project so that it is simple to use them; - also re-enable guard checking on operation_repr
lia tactic and best available globally in the project so that it is simple to use them;