added a PSF typechecker, using a top hack for Eerror
added file for the printer