Try to infer the type of an expression in a given type and term context. NOTE: one can't just use out-of-the-box type inference here because the DefaultUni () -> Either String () #