An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language