types+grammar: more discussion of native prototypes, closes #116