Add implementation: ws_value type

Targets #34