Support for type aliases in core.typed

This includes specifiying forms to be evaluated as part of autodoc collect
and extracting :forms metadata and using it to create a usage string for the
type alias
Mark dynamic variables in the documentation