Fixed indentation in Types.h