Conjunction

Helper function for and-rules 
yes, 'conj_and' should be added to relex