Initial commit

A package for conventionally-typed arguments in Typed Racket