pfq-lang (Spec 0.1)