wrote design doc, made new type scheme