The Mixed Lambda-Calculus and Combinatory Logic (an overview)