x is Type (同Nim)

x as Type → Option<Type>