Moved defs into cakeml computelib, removed test case