removing ValueErrorImpl; adding some builtin error types