added symbolic repr of proj1 and implemented predicated (special case) eval. + test