add tests for primitive projections
fix ADT Maybe: return double-quoted string values only from Maybe->Str, not from Some->value
MaybeADT: add missing test for Some->value, remove unnecessary use statement
#29: add ADT Pair