started on a kaluza-klein demo ... which is showing too many individual terms, which tempts me to make some sort of tensor expression simplification ... also fixed a bug in prune() merge like coefficinets that was throwing away the rest of the expression.  also went back to the ceil() multiline merge rather than floor() to make polynomials look better