Added specs for Configuration, Protocol, and PatternMatching.
More tests for TypeCheck and AbstractStruct