(Im)Perfectivity, Actionality and Teaching: Using Notions of Formal Semantics in Basic Education