Added new checkers for containers, time, and abstract satisfy interface