Started to build the type system by its syntax