Added cortical action for "a = b * c"

This also covers a=b*~c and a=~b*c and a=~b*~c
Could you add brief one-line comments to each block of asserts or after `> 0.9  # ...` to indicate why this is expected?