moved pretty printing functions from Nice.fr to PP.fr
renamed Nice to common/Annotate
isolated Sigma,Rho, Tau
isolated Patterns, moved Positioned instances
make final compiler in 3 stages