upgrade typescript to 3.1.3 & replace strict mapping to partial in calledWith function

[tommy20061222]

Hey, Matt,
Initially I want to use this PR to address the following issue:
` type attributeList = 'foo' | 'bar' | 'foobar';
type attributeUpdate = {
[P in K]: string;
}

            const testedTarget = {
                foo: 'fooVal',
                bar: 'barVal',
            }

            interface alienService {
                updateAlienAttribute<K extends attributeList>(attributes: attributeUpdate<K>): void
            }

            const mock: Mock<alienService> = SafeMock.build<alienService>();
            mock.updateAlienAttribute(testedTarget);
            // without partial put int he index.d.ts, following line does not compile
            verify(mock.updateAlienAttribute).calledWith(testedTarget);`

Without this PR, it has compile error on lastline. After a little bit playground, i found this break is introduced in typescript 2.7 by this break change: link

Furthermore, this PR also upgrade typescript to latest 3.1.3 version.

[matthewmcnew]

HI @tommy20061222 ,

I went ahead and merged your upgrade to typescript 3.1.3 to master (b0ace79). Looks good.

I wanted to get a better understanding of your use case for the PR.

Would it work to use the record type like:

interface alienService {
updateAlienAttribute(attributes: Record<'foo' | 'bar' | 'foobar', string>): void
}

I am a bit afraid that adding 'Partial' to the Call Verify signature will have some unattended consequences with a regression in the type safety. This is because: Partial is not the same thing as K.

• Cheers!