ToJS translates modules