[ poc ] a little bit about internal mus

Where I try to remember how internal mus work. The semantics is accepted
by Agda & one can build examples. IIRC, the hard part is defining an
induction principles for these.