Integrate remaining types into the factory API

[JohannesMeierSE]

This is a follow-up of #43.

These types are not (yet) supported by the new factory API:

• multiplicity types: I am not sure, whether we really need this type, we should not advertise it for v0.1, but rework/redesign/improve it for upcoming versions
• fixed parameter type: I am unsure at the moment, how to integrate it into the API, since each kind instance is specific for the current set of operators, e.g. there is a "Map kind" and another "List kind", which "both are FixedParameterKinds" (https://github.com/TypeFox/typir/pull/43/files#diff-06d7c3de2afd260ac79d91a52f56faacc286892f4786c7e7bfbd670494d97429R28)

Other possible improvements:

• Should the module look into the kind registry, whether the kind is already initialized, before creating a new one?