Added cortical action for "a = b * c"

This also covers a=b*~c and a=~b*c and a=~b*~c