Move theory.hpp -> laws.hpp
Add methods and tests for vehicles