Fix type of $err
html.rkt type checks