Make the `Tan` type distinct from the `Real` type

[samestep]

As of #105, the Real and Tan types are both defined as number | Var. We should probably instead make a new separate type for constructing constants of type Tan, and use that instead of number to make Tan distinct from Real.