Rework sketch; add high-level sematnics, alternatives