Type Stripping with Zero Dependencies