Added Types.implements function plus tests.