Building kind constructor, small syntax changes, fixed semantalcabal, added set