chore(types): add definition template to Assertion type

[ronald-mz]

I flip-flopped on whether this or D was better here. Ended up going for this because BasicModel<StringConstructor> is more accurate than StringConstructor when looking at the types in an editor.