Infrastructure for expressions