Add string and array type length equality constraints
Bump version to 0.5.20