Lighter property syntax for haaxegen