Fixed redundancies in Ref type, and added a DynamicCell constructor for CellExprs, which is contagious (that is, if it's involved in an expression, the expression throws away reference information to become dynamic).
Moved cell and cells into a typeclass ReferenceLike so that we can have the same syntax for dynamic and static cell references.
Added appCell function which unifies appSCell and appDCell