update opamhtml with a working Core.Bool