Use `?` for optional types and implicitly require types

[tqwewe]

Removes the ! syntax for required types and implicitly makes types required by default. Types can be specified as optional by suffixing with ?.