Added an ability to *have* a property; tests don't work yet
WIP: some experiments with static checks on the set's bound; deriving *has property* doesn't work for records so far
Fixed issues with implicit resolution
review code, add wartremover
review code, add naive coproducts
make coproduct values to be coproducts structurally equal to the type they are values of
Reviewed coproducts code; renamed file
* Added top-level EmptySet/NonEmptySet traits;
* WIP: trying to resolve problems with HasProperties (to combine all evidences);
Removed tabula-specific record conversions
More experiments with HasProperty checks; no success
add some tagging stuff, fix property ops
Added label to AnyRecord; Added static AnyTypeSet.BoundedByUnion
Merge branch 'feature/extensible-records' of https://github.com/ohnosequences/pointless into feature/extensible-records

Conflicts:
	src/main/scala/pointless/Record.scala
Renamed As to ReorderTo
Fixed record's update op; added simple tests for it
Added an op to parse a set of properties from something
WIP: serializing typesets
Finished typesets serialization/parsing (not using Poly)
Added record parsing
Added record serialization; doesn't work with polymorphic serializers