clarification on meet/join for references
The simplest scalacheck spec
tests with collected info
Typo fixed: UntypedDemo => FullUntypedDemo
This implementation doesn't support floats (yet)
allowing \ instead of lambda in fullpoly
starting taxonomy of systems
old changes