Classless representation (for now) of clocks. SFClock typechecks, still metavariables remaining