Implement encoding simple-vectors