lalala I like it
add example of syntax/ops idea
extract the static part of syntax to the companion object
separate ops from syntax - WIP
more types and stuff, added Predicate
keep working on fancy ops
fix stupid error in Map, start work on derived proof
bye bye Singletonia
working on the syntax/ops stuff, tests for type projections
do not use refinements for bounds unless they are refinements themselves
fancy ops works!! WIP but this is really cool
mapping is diverging in some cases who knows why
map working again, fixed by removing .types and the super generic conversion
forget to uncomment an assert
add pointless pkg, start moving things there, several small modifications
type union and type sets, on the new pkg
get rid of Module
add some abstract stuff, test some easy implementations
fix abstract ops chaining, add some stupid test for properties
minor reorg, scope ops names