Progress towards completion of type determination functions