changed runtime to use RuntimeCard instead of Card data type (name clash - should really figure out how to do this better at some later point)