Name of level functions changed

The name of the functions which tags a  security level to an object is
no longer an id-function (e.g. „highId“). From now on the name of these
functions consist of „mk“ followed by the name of the security level
(first letter capitalized), e.g. „mkHigh“.