Update default.nix and mtg.cabal to loosen dependencies
Add note about repeating SBA check
Make minor changes based on hlint
Generalize player choice

Use singleton types and type-level functions to make player choice
request and response types match up.
Start validating player choices
Allow activating mana abilities while casting a spell
Implement PlayerChoiceLog
Allow testing engine from command line