Comment by k__

Well, of you want do implement a type system it could help too.