corrected bool definitions in holBasics and added evaluation till class module in theoremProofs for futher explorations