Call extended type method from base type instance

Type fruit
	Field x,y,width,height
	Field _CallUpdate(f:fruit)
	
	Method Update()
		'because the base class update is called, we need to use the method caller stored
		_CallUpdate(Self)
	End Method
End Type

Type apple Extends fruit
	Field brand:String
	
	'creation function
	Function Create:fruit(x,y,width,height,brand:String)
		Local a:apple = New apple
		'setup properties
		a.x = x
		a.y = y
		a.width = width
		a.height = height
		a.brand = brand
		'setup class callers
		a._CallUpdate = apple.CallUpdate
		
		Return a
	End Function
	
	'callers for this class
	Function CallUpdate(f:fruit)
		apple(f).Update()
	End Function
	
	'methods for this class
	Method Update()
		Print "update apple, brand = "+brand
	End Method
End Type

Type grape Extends fruit
	Field numberinbunch
	
	'creation function
	Function Create:fruit(x,y,width,height,bunch)
		Local g:grape = New grape
		'setup properties
		g.x = x
		g.y = y
		g.width = width
		g.height = height
		g.numberinbunch = bunch
		'setup class callers
		g._CallUpdate = grape.CallUpdate
		
		Return g
	End Function
	
	'callers for this class
	Function CallUpdate(f:fruit)
		grape(f).Update()
	End Function
	
	'methods for this class
	Method Update()
		Print "update grape, number in bunch = "+numberinbunch
	End Method
End Type

'now we can create 1 apple and 1 grape, and return them as the base class.
'if we want to call the update function for either, we can, because it has been mapped using a function pointer.
Local fruit1:fruit = apple.Create(0,0,60,60, "golden smith")
Local fruit2:fruit = grape.Create(10,10,60,100, 75)

fruit1.Update()
fruit2.Update()

Input "press enter to end"

Type Fruit
	Method whatAmI() Abstract
End Type

Type Apple Extends Fruit
	Method whatAmI()
		Print "I am an apple"
	End Method
End Type

Type Orange Extends Fruit
	Method whatAmI()
		Print "I am an orange"
	End Method
End Type

Local fruit1:Fruit=New Apple
Local fruit2:Fruit=New Orange

fruit1.whatAmI()
fruit2.whatAmI() 

Strict

Type Fruit
	Method whatAmI() Abstract
End Type

Type Apple Extends Fruit
	Method whatAmI()
		Print "I am an apple"
	End Method

	Method howManyWorms()
		Print "Only a couple of worms"
	End Method
End Type

Type Orange Extends Fruit
	Method whatAmI()
		Print "I am an orange"
	End Method

	Method howJuicy()
		Print "Very juicy"
	End Method
End Type

Local fruit1:Fruit=New Apple
Local fruit2:Fruit=New Orange

PrintInfo(fruit1)
PrintInfo(fruit2)

Function PrintInfo(thing:Fruit)

	thing.whatAmI()
	
	If Apple(thing)
		Local myApple:Apple = Apple(thing)
		myApple.howManyWorms
	Else
		Local myOrange:Orange = Orange(thing)
		myOrange.howJuicy()
	EndIf
		
End Function