Convert button LED interface of ALU to to/from connectors, add notation docs