add 'proper' subsets to interval, and optional symbolic ops