paradise
fun of polytypic functions
copyright update
terminology update
trivial renaming
typeOf and termOf
draft of polytypic functions around standard types
slightly better id
Box update
flatten structure
flatten package structure
renaming around peg
Useless Strong and Forwarder removed.
better macros
Abstract -> Impl
Impl --> As
AsAny etc
New -> Self
macro-based singmethod draft
Prefer typemethods