added Bool, Univ, None type constants
refactoring
simple refactoring: use the None constant instead of NoType.new