proj_0 supports weighted projection, and implicit operators