Rapid Assembly of Social Machines with the Lightweight Social Calculus