better parenthesization system
a bit of documentation