Small fix in nullablilty handling

grammar/src/notation.grm

@@ -21,8 +21,8 @@ alpha{color:blue}*{*{color}beta{color:blue}*}*{color} denotes a nonempty _beta_-
 
 h1. Semicolons
 
-*Up* provides "semicolon inference": syntactically, subsentences (e.g., statements, declarations etc) are separated by
+[Up] provides "semicolon inference": syntactically, subsentences (e.g., statements, declarations etc) are separated by
 the pseudo-token [SEMI|#SEMI], which stands for "semicolon or newline". In most cases, there's no need for semicolons in
-*Up* code.
+[Up] code.
 
 */

stdlib/src/jet/typeinfo/TypeInfo.java

@@ -37,7 +37,7 @@ public class TypeInfo<T> implements JetObject {
         if (!theClass.isAssignableFrom(other.theClass)) {
             return false;
         }
-        if (nullable != other.nullable) {
+        if (nullable && !other.nullable) {
             return false;
         }
         if (typeParameters != null) {