Specify more built-in types.
Update notes.