Added files for type checking