Name Hierarchy Update

[The-Ray-Man]

This PR should not be merged before #101

This PR refactors some part of the name hierarchy. This are the changes and the consequences:

Change:
SpecialName was split into DomainAssociatedFuncName and SpecialFieldName.
Consequence:

• The domain associated functions (the functions that are closely related to the domain but not actually part of the domain e.g. addInt) are now prefixed with df (domain-function) instead of sp (special)
• Special fields (at the moment just size) is prefixed with p (property) instead of sp

Change:
PredicateKotlinName was renamed to PredicateName and does no longer inherit KotlinName but FreshName. The same was done for HavocKotlinName.
Consequence:
The ScopedKotlinName does now hold a SymbolicName instead of a KotlinName. Also it was renamed to just ScopedName

Change:
The file FreshNames was renamed to FreshName to be consistent with KotlinName
Consequence:
None

Change:
NamedEntity was introduced as a top level interface for SymbolicName, FreshName, ScopeName, and NameType. This is also for preparation such that a future name resolver can collect all these things in a single collection.
Consequence:
None, all subtype relation which hold previously still hold.

Change:
SetOfNames was changed to ListOfNames and made generic.
Consequence:
None

Change:
Instead of giving function types just a list of names as name we introduce FunctionTypeName to give functions an actual name
Consequence:
None