Be more liberal about what constitutes a type signature