1. types: `sign()`

  2. types: `sign()`: divisions between typed values produce unitless number ("typed arithmetic")