positions
Proper macro language for System F.
oasis setup