use proper context operations (for fresh names of type and term variables, and for hypothetical definitions), monomorphize theorems (instead of terms, necessary for hypothetical definitions made during lambda lifting)
#!/bin/bash
ADMIN="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
cd "$ADMIN"
hg churn --aliases user-aliases --progress