Uncomments failing tests relying on unimplemented common_ancestor function
Generics now capitalize @symbol
Fixes type comparison and subset checking in type/list