Add .typefefs