names for all types
principles for types
types: programming is...
types: some descriptions
new texts
types.html: unfold type again
remove obsolete sentence