Add asType in Definition