fix `require' in `plai-typed/untyped' from `plai-type/untyped'