Fixed minor bugs and typos. dual conic form for addition seems to mostly work now