These come in two forms:

1. #! is used for module documentation
2. ## is used for documentation types, constants, etc

Currently these are not yet used anywhere, but they might be in the
future.