lazySolve returns Scala tuple of L variables; implicit conversion from

these to tuples of Scala variables; and also classes for being able to
invoke `value' on these tuples