an attempt at making a prototype proof checker for experimental purposes