added link to check-more-types