Add prototype nullness type system