Initial Felleisen-style semantics