Some refactoring of bracketed expressions (centralizing most of the
expressions). This provides some simplification for future optimization
of grammar regrding issue idris-lang/Idris-dev#452.