included some type checking/instantiation tests