reorganized elementwise atoms, added transpose for expressions, and added multiplication by a nonconstant on the left.