Tinkering with TheoryCrafting