Changes

Summary

1. more accurate syntax: e.g. avoid brackets as prefix notation;
2. more approximative prefix syntax, including binder;
3. proper syntax for locale vs. class parameters;