system: high, low: add example which uses the type
system: high, low: add example which uses the type

jfhg/Nim,tulayang/Nim,singularperturbation/Nim,russpowers/Nim,tulayang/Nim,dom96/Nim,tulayang/Nim,russpowers/Nim,singularperturbation/Nim,haiodo/Nim,tulayang/Nim,russpowers/Nim,russpowers/Nim,russpowers/Nim,jfhg/Nim,jfhg/Nim,singularperturbation/Nim,dom96/Nim,singularperturbation/Nim,russpowers/Nim,haiodo/Nim,jfhg/Nim,haiodo/Nim,dom96/Nim,tulayang/Nim,russpowers/Nim,dom96/Nim,dom96/Nim,singularperturbation/Nim,singularperturbation/Nim,haiodo/Nim,jfhg/Nim,jfhg/Nim,haiodo/Nim,singularperturbation/Nim,dom96/Nim,dom96/Nim,jfhg/Nim,haiodo/Nim,haiodo/Nim,tulayang/Nim