Fix translation. Add asserts till it type checks.