fix: pars in grammar, and impl type inference for typeclass
complete type inference for def
fix: dec in grammar