improve list of effect_free expressions to include immutable types