@deshipu @eniko @Xarizzar At this point better those STRONG IMPERATIVE languages a la' VHDL/PASCAL where if you do a thing like NUMERIC OR NUMERIC the result is NUMERIC ( i.e. bitwise OR ) BOOLEAN OR BOOLEAN and result can be only TRUE or FALSE (0/1) and you CAN NOT do a thing like NUMERIC OR BOOLEAN ( or else ) unless you cast types so they are the same so "(BOOLEAN) a OR b" or instead "a OR (NUMERIC) b" and if b is BOOLEAN its cast can only be numerically 0 or 1 ( or something like that ).