ABSFOL: a proof checker with abstraction