Added cortical action for "a = b * c"

This also covers a=b*~c and a=~b*c and a=~b*~c
Nit: Move up to single line (and L46, L55).