adjusts check_exprs to account for returning env. cleans up syntax in many places