レコード型eval1修正，評価・型付け規則名付加