* Complete the exercise language with a type checker and an basic import system.