Minor updates to Type Aliases section