types+grammar: added content for 'native prototypes' section to appendix A