…notations, since user has already opted-in to perform this check. This makes experience mentioned here (##228) slightly better since it will be very cumbersome to ask user to specify type annotati...