Check types and add consumption test