Oreole.TypeSystem: first prototype of the type system