Moved the types to a different module. Wrote something about the correctness of a translation.