add abstract type expression tests