Closes #38; Every definition is tested 5 times; Adds FunTest, TestedFun, and VdefgTest data types;