Proxy-Pet Building Blocks As A Design Element For Library Synthesis