Finalized semi param

Everything should work with Tannhauser compiler.
semi_param.pd need OWL tests