Clone of gapt (Generic Architecture for Proofs)