現実型