A Typed Racket package that allows for function arguments to be declared as having a default type