Added Literals selectDynamic macro
Removed unused argument of ZipWithKeys dependent functions
Added argument-less zipWithKeys overloads
Added Literals selectDynamic macro (missing)
Bootstrap project
Renamed hlist/tuple filter/filterNot methods to filterType/filterNotType
Predefined Boolean witnesses
Boolean literal based filter
Added record filterKeys method
Added union filterKeys method
Added record filterKeys method (squash)
Added union filterKeys method (squash)
Removed unnecessary HNil trait
Removed unnecessary HNil trait (squash)
Simplified some HNil implicits (requires previous commit)
Simplified some HNil implicits (requires previous commit) (squash)
Simplified some HNil implicits (requires previous commit) (squash)
ProductOps.toHList

- renamed ProductOps.productElements to toHList
- enforced it to return a HList
- tested it
squash
Enforced ProductLength to return a Nat