fixed the solved tactic node bug
small fixes here and there
showing hypotheses, first attempt