Traits

trait to allow expr to typable with respect to a schema