An in-progress port of LambdaPi to Standard ML