<
>
X
Towards a language of abstraction