Come up with a new name

[echu]

The following things need related, but separate names:

• the front end language (specific for SOCPs)
• the parser/canonicalizer

It needs to be made clear that it could be hooked up to any solver.

Name for language should be related to "second order cone", "cvx", etc.