updated GroupoidLaws and Syntax