Fix packaging errors
Grabbed master branch version.rkt
Spruced up type-decls.rkt a bit. It now type-checks.