working on setting up runtime system to use CardName types