little syntax
suceeded in generic constraints
doing generalized constraints. first demo working
pushed into new folder
little changes
to the point code on Demo compiles :)