[boost] Re: FC++ Formal review - some initial results/impressions