Now using type constraints throughout entire system; next step is to create a Null concrete type.