Trying to split stuff up a bit and figure out how to structure a Coq project...