Compile time evaluator for bedrock

[vasucp1207]

We are thinking of adding the compile time interpreter to bedrock like the zig comptimes, so no more generic type params comptime will provide the generic functions foundation.

The comptime block will evaluates the block result and replaces the initial result. No runtime dependency is allowed in comptime blocks.

We can mark function params as comptime with comptime time known values at call site.

See some simple examples,

func add(comptime x: T, comptime y: T, T: type) -> T
   return x + y;
end

proc main()
  var res: i32 = comptime
                   var a = 5;
                   var b = 10;
                   var add_res = add(a, b, i32);
                   add_res // replace the block value with add_res
                 end
  
  var i_add = add(5, 5, i32);
  var f_add = add(5.0, 5.0, f32);
end

cc @aliqyan-21

[aliqyan-21]

in this:

func add(comptime x: T, comptime y: T, type: T) -> T
   return x + y;
end

why is the last parameter type is required?