The expression "x in dict" is now a maybe type