λ x: exp
λf(x): exp
« »

operadores binários   × ÷ ± ⊕ ⊗ ⋈ ⊙  ⋄ ∘ ∞ 
• 
†=dagger        ‡=Dagger 
←↓↑→

tipos:
  acordes = [(acorde,dur)]
  acordesM = (chordmode , acordes)

expandCM : chordmode , acordes → linha

ostinado: linha 

↑3«A B C2 C | »
\f{    }
[V:2] \ostinato{aG Gv}
\def\x{{
}}

rep:  int × linha → linha