Put vhdl_ty in the (new) TypeState Monad.