Added type synonim
Added addConstraintsFromRHS and fixed some typos