Added cortical action for "a = b * c"

This also covers a=b*~c and a=~b*c and a=~b*~c
Good idea...  I've added the comments for that now