Add examples to typesig.rb