Use UInt16 for Square.value.
Partly working assign() / eliminate() .