bring back xexpression for templated class

With xexpression, the compiler will complain if the type used does
not implement the xexpression interface. Before the move to OO approach,
it was present, but got lost along the way.