Add a new implementation of Expression (in progress).