factoring out RSym (renamed RFunc) and renaming typ constructors.

- Pull common code out of ExprCore
- Change tvArr -> tyArr
- Change tvProp -> tyProp
- Change tvType -> tyType