apply-ruleso generates al possible solutions of the rule application
added core.logic equivalents of transform-expression
now reworking solve-system
solve-systems can now handle multiple solutions
fixed bug in report solution of solve-linear-system where a leading one was not recignized when not in diagonal position
solve-linear-system uses the same format as solve-system and can deal with to few arguments to solve for
minor updates