Added KRATypes.m