Improved type-checking vs nilables