civil law and its types