Adding types would probably slow down the code as some optimizations done by the engine wouldnt be allowed. Kinda like when you use bitwise operations for optimization only to find out they actually slow down the code.

We could hower add Interface and optional types as syntax sugar for runtime checks.