Represent substitutions more efficiently #43

Closed giovinazzo-kevin closed 1 year ago