- most binary operators
- ternary expressions
- bitwise negation
- number literals
- size casts
- concat and repeat expressions

- single bit localparams retain explicit range
- fix $bits on unsized literals
- use Implicit over Maybe for underlying type

- fix position modport-to-modport bindings
- inout logics converted to regs become outputs

Some .v files are incorrectly identified by GitHub Linguist as Coq or Vlang
files, which confuses people who browse the repo on GitHub. According to
https://github.com/github/linguist#using-gitattributes adding a .gitattributes
file can solve this problem.

- constant folding supports hex numbers
- simplify mod
- simplify pow
- elaborate !(a == b) into a != b

- made stream conversion pure
- type param conversion uses Set for instance uniqueness
- updated NOTICE and resolutions