Un(finished + usuall) thought vanderings on programming language without both null and without optional types

concept.json

{
  "false bool value": false,
  "true bool value": "anything other than literal 'false' (literal 'true' does not exist)",
  "absent optional value": [],
  "present optional value, i.e. bool": [false],
  "arrays are": [
    "objects with positive numeric keys",
    "empty object equals empty array",
    "numbers are arrays of bools"
  ],
  "object": [
    "keys are always sorted",
    "numbers are arrays of booleans"
  ],
  "total ordering": "is defined (any value can be compared to any other value and result is stable)",
  "equality": [
    "a",
    ["a"],
    {"0x0000000000000001": "a"},
    [false, "true", false, "true", false, false, false, "true"]
  ],
  "immutabiliy": "everything and all the way"
}