- Started new Type System (continued)