Finished with Plug case the eval for ℂ Bool
began attempt to add a "language of sizes" for better structure and constraining