Implement handler and computation types

[dhil]

Related to #766. If we name every handler definition, then we should also give each name a suitable type. At the moment the type of a handler definition is not present in the type algebra in types.ml but rather constructed on demand from ordinary types and rows.