added some minor form of type checking for kw params
disabled completeness checks for keyword parameters, because we can not statically resolve all possible overloadings