Assigning a required constraint to a new variable

[paulyoung]

@Inviz and I were talking about the implications of this:

$a == 42 !require;
$b == $a;

I think the people might assume that $b is required to be 42 (which it's not) so could be good to address this in the docs.