Added implementation of coproducts and pullbacks