Function apps

crates/kernel/src/testing.rs:88–94

(f: ME, args: &[ME])

}

pub fn apps(f: ME, args: &[ME]) -> ME {
  let mut e = f;
  for a in args {
    e = ME::app(e, a.clone());
  }
  e
}

pub fn cnst(name: &str, us: &[MU]) -> ME {
  ME::cnst(mk_id(name), us.into())