Implement syntax for all primitive types.
Reader -> Decoder.
Implement syntax for tuples.
Implement syntax for records.
Implement syntax for options.
Implement syntax for arrays and lists.
Better error messages.