Added some cases to Meta.
Added to elaborator.
Some suggestions from hlint.
Nearly completed case elaboration.
Elaboration of case is implemented but not tested.
Some fixes to debug case.
Bug fixes.