Moved Types to sireum-kiasan.