adding a README
adapting to 4.01
Moving Tlambda.primitive and Tlambda_to_hgraph.hinfo to Common_types, using hinfo in data