Various bugs, need to be reduced and added as tests

[xarvh]

---------------------> Crashes on "hash" being undeclared!?

inferLambdaSets = #as fn Text: fn Text: Result Text OutWithLambdaSets =
fn targetName:
fn code:

inferRootDef targetName code
>> onOk fn def:

'ok
    {
    , lambdaSetConstraints =
        def.lambdaSetConstraints
    , type =
        def.returnType.raw
        >> TA.normalizeType @hash __
        >> TA.stripTypePos
    }

--------------------> problem inferring uniqueness!?

        a =
            fn bool, fun1, fun2, meta:
                if bool then
                    meta fun1
                else if 'false then
                    meta fun2
                else if 'true then
                    meta fn x: x
                else
                    meta fn x: x

        p = fn x: x
        q = fn x: x
        m = fn f: f 1

        b =
            a 'false p q m

----------------------> problem with circularity!?

        a =
            fn bool, fun1, fun2, meta:
                if bool then
                    meta fun1
                else if 'false then
                    meta fun2
                else if 'true then
                    meta fn x: x
                else
                    meta fn x: x

        p = fn x: x
        q = fn x: x
        m = fn f: f f

        b =
            a 'false p q m