dotlambda/typed/info.rkt