added high-precedence application; many new thoughts :)
switching to $ for name mangling. Desugaring binary/prefix expressions to applications.