Extending CoffeeScript with the functionality of TypeScript