types+grammar: adding some text on 'script' elements to appendix A