
        Use the type system to enforce that product nodes are simplified away

177b9c8