Topic/less dumb interval

We should probably validate which exact subexpressions we support here.