add stdlib/Boolean