Added type checker and checking of constants declarations