simplified types : no universe, type definition traits; first steps for recursion