amber規則で出来ることは、概ね名前的型システムに近い。