Added file of precisely defined basic types.