罗马法形式上分为什么法和什么法