generate Size annotation from length restriction

This is related to issue #31