added example to show how to use 'of' to allow extype'd types to interoperate with ATS types