Unified Level types
Added many more notations