Telling what type something is

Types are easy.

type example
field a
end type

type something
field a
end type

local a:example=new example
local b:something=new something


if example(a)<>null then print "a is of type example"
if example(b)<>null then print "b is of type example"
if something(a)<>null then print "a is of type something"
if something(b)<>null then print "b is of type something"

You're casting and checking the outcome. Floats/int/strings, I don't think you can do like this.