Merge remote-tracking branch 'pure11/pure11' into native

Merge tag 'v0.10.7' into pure11

0.10.7

Merge branch 'master' into pure11

0.10.6

C++: fix TCO issues by re-baselining optimizers

C++: use std::map for records

C++: very minor change to format of single item lists

C++: add const char * constructor for 'any'