Function mk_compose 

pub fn mk_compose(f: Expr, g: Expr, dom: Expr) -> Expr

Compose two functions: lambda x : dom. f (g x).