Minor fixes to IDL

- Use sequence instead of IDL pseudo-arrays
- Use optional instead of ? (i.e. nullable)
- Make `assert`, `count`, and `table` signatures reality a bit more