rename tpy -> typ, restructure as a package