Two-Level Functional Languages: Parameterized Semantics