implemented translation of alloy atoms to arby sig instances