reverting to plai-typed for source files, new "untyped" make target should allow for  speedy compile times during development
python-cps has been fixed, and now type checks.
it looks like the target works, but plai-typed/untyped gets really confused when have the project is compiled under untyped and half under typed.
things are back to untyped, and the makefile now has a "typed" target
Makefile has three targets, and it will stay like this for now.  Typed people use "make typed" and untype people just use "make" with the occassional "make typecheck" to make sure their stuff typechecks.