Changed parts function to accept a goal-splitting tactic and a list of subproofs.
Packaged ray_cast, and modified verifications to work with new "parts" keyword.
Added a global code of the number of declarative steps.
Counting steps.