Provides typed function definitions in Shen and some related tricks and toys.