Added destructors; BDF mostly works, though weird FPEs