https://nature-lang.org/docs/syntax
In the Type System section, a little text at the left margin is cut off for some lines.