Weaving and seaming mocks

Type Checking