Figure out runtime first class typing and monomorphization

[CohenArthur]

fn generic[T](value: T) -> string { value.name }

fn create_type(based: bool) -> type {
    if based {
        TypeBuilder.new().field("name", string).type()
    else {
        TypeBuilder.empty().type()
    }
}

type Foo = create_type(read_user_input_as_bool());
where foo = Foo; // sob

generic(foo); // sob

if we do go through with the first class types, then we need to figure out how to handle this type of code. thanks to @SanderJSA for ruining my day when I was blissfully anaware that this was an issue

[CohenArthur]

Keeping first class typing to compile-time fixes the issue. Is that acceptable?