玄学类型