Added basic RV tests (failing)
Rewriting finite support + tests

This closes #1.