remove UnknownType. make it a singleton InstanceType.