Implement record, field funs and const fields