add monoid instance for TCEmb
asd
misc shuffling
hopefully didn't break fixpoint