Revert "removed info.rkt"

This reverts commit 6a14e65cd43cfee9bac96779e42dae374a3ee0ce.