removed duplicate grammar return type on inductive definitions