Tests and implementations of greatest common type across inheritance. Still need to do lambdas, or just make them throw for now