Making a dual typed / untyped Racket library (unitscale.com)