Added test that checks that initial values can be overridden
Made all SafetySharp types internal