Teaching with Alloy4FunΒΆ