Fix `size` typing in protocol.py

[lumisota]

The type of size of RepresentableTypes in protocol.py is currently Optional[int]. This should be Optional[Expression]. This change is not trivial: Array types can set their size by multiplying their length, and this requires constructing an Expression. At present, this would require access to the parent Protocol type.