Jacques Carette

It is perhaps the case that the `pair` combinators are just wrong, and we didn't notice because very little state was actually used, i.e. almost all the computations are in...

I think this analysis is right about what `pair1` does. The tricky part is what it does "in context": whatever state actions were "put in to" `stv` will be run...

Actually, this is related to, but different. That asks for unmodular, this asks for straight-line and with extra inlining.

I guess the first thing to do is to identify which chunk type that ought to be. Is there something that fits "just right"? One thing to be wary of...

The comments in `TempHasUnit` probably reflect a period of time where I was thinking it would be better to not have `Maybe` in interfaces but put them in data-structures instead....

Units and unit systems are quite complicated things. I'm going to dump some notes on the [Units](https://github.com/JacquesCarette/Drasil/wiki/Units) page of the wiki.

Short answer: yes. We really should never `set` a UID, it should be read only. What `addRelToCC` is doing is a hack, and it's good that this change is catching...

If I remember well (and this was quite a while ago, as I'm sure `git blame` will attest), we wanted `phrase` to not be so eager to remove all traceability...

To me, this is a perfect opportunity to dig and generalize. The questions that come to mind: - what are the different kinds of constraints that can come up? -...

Sorry to take so long to comment on this. 1. I agree, parts of concepts should not be in the ChunkDB. However, we will find bugs where there really are...