Partial fix intersection test. Float needs work

Minor, comments, add lib directory

Unioning with "no opposing side" cases keeping the element.

`param_`s to work towards being able to handle types to make wideners. "No answer" types instead of "undefined"

`if` stuff, need unpack potential variables & list-out a generator

First definition of types, using typecalc detection and to_c not entirely aligned? Not sure why

minor, move `concat_gen` to util.various

Filtering out `None` is not needed, theyre not in there

Ugh this might be needed

TCVariant should also check if returned is a `ReturnStop`

After returning nothing is to be done, `ReturnStop` does this, also logic for this in via `ret_stack_smoosh` in `IfCall`

do_all in various utility

More use of `type_stack_calc.util.various`, added start of selecting specific parts of types to be used in wideners.(itll take a while to actually do wideners.

Fix: if only one branch in if, it would put out the condition, which would get mistreated as another argument. Made `IfOneBranch` to deal with this. Also some utility functions in separate file

Simplify inserting by just making a new generator.(might not be super efficient..)

Dot file attempts

minor

Combined insert_code and macros.

Manually made Graphviz dotfile how the type calculation works. Makes me think i should join the macros and stuff with `.insert_code`

Minor, some fixes