Implement all case of `Type.of_erl_type`. - [x] `Any`, `None` - [ ] `Unit` - [x] Unions - [x] Atoms - [x] Functions - [x] Numbers - [ ] IntSet of multiple integer: `1 | 2 | 3` - [x] Tuples - [ ] AnyTuple: `tuple()` - [x] AnyMap `map()` - [ ] Binary - [ ] Identifiers - [ ] Lists - [ ] Maps - [ ] Opaques (remote types)