Further refine and fix how `with' partitions the LIE.  Also moved the
partitioning function from Inst to TcSimplify.  Fixed layout bug with
`with'.  Fixed another wibble w/ importing defs w/ implicit params.
Make 4-tuples outputable (a convenience in debugging measure).