Arguments of interpreter can now be expressions instead of types.