Starting to type some expressions correctly
Adding new test