make example 1 better for interactive use
minor tweaks in base case of build_interpretation