Added new file InfinityTypes.h