Rename UserID -> NymID, assetContract -> instrumentDefinition.

You probably want to outright remove this TODO line. :-)