added test --- UC errpat, fillpat step to Rewrite_Set ---

Test_Isac.thy behaves even stranger:
# cut/paste of check_unsynchronized_ref doesn't help for all..
# 'use "atools.sml"' + 'use "eqsystem.sml"' required additional editing

fetchProposedTactic returns Tactic + errpatID list

PROVISIONALLY MADE TESTS RUN with Unsynchronized.ref

with insert_fillpats, insert_errpatIDs, insert_errpats
regression tests in Test_Isac.thy just don't work anymore.

So don't forget to === REMOVE AND INSERT THIS LINE === in Test_Isac.thy

outcommented tests on Unsynchronized.ref

these are highly problematic, see
test/../calcelems.sml --- Unsynchronized.ref doesn't work any more ---

There might be further dependencies between tests, generate.sml -- inform.sml ?

intermed: isolate tests from others

TODO --- fun insert_fillpats ---
DONE --- fun insert_errpatIDs ---
TODO --- fun insert_errpats ---

Build_Thydata.thy with insert_errpats ok

test/../pbl-met-hierarchy.sml: -- fun insert_errpats outcommented,
because this breaks other tests ?!?

completed interface to dialog-autoring

fun insert_errpats,
fun insert_errpatIDs (unused, waiting for stepToErrorpattern)
TODO: isolate these tests from others.

improved fun insert_fillpats

this fun belongs to the interface for dialog-authoring,
thus call this fun in Build_Thydata.thy only !

prepared for fun stepToErrorPatterns

for efficiency reasons each rule-set knows the error-patterns of the member thms.
TODO: lift the error-patterns from thms to rls recursively.
TODO: set error-patterns and fill-patterns in Build_Thydata.thy

findFillpatterns: repaired signature

now matches the method IToCalc#findFillpatterns,
which now returns the patterns directly
without involving CalcMessage.