The Javascript type system, part #1: language types