fungi_lang::bitype
pub fn synth_val(ext: &Ext, ctx: &Ctx, val: &Val) -> ValDer
synthesize sort for value term