Type annotations.
Support decls.