Created a function 'implements<'T> : obj -> bool', in order to avoid the F# compiler warning: 'FS0067: This type test or downcast will always hold'.
Invoked the 'rule of three' to extract 'verify' and 'implements' function to a module named TestDsl.