Compile-time, testable active record ORM for Android