Added Interval as an example.
Also integrated Paolo's approach and did some more work on trying to get the computation rule to type check, along with other experiments.
Some more experimentation.