Catch malformed refinement in `rsc`

Wrong order of args: `hasProperty prop v`

``` typescript
/*@ sum :: (array: IArray<{ (Immutable) {[s:string]:number} | hasProperty prop v }>, prop: string) => number */
export function sum(array: any[], prop: string): number {
    let result = 0;
    for (let i = 0; i < array.length; i++) {
        result += <number>(array[i][prop]);
    }
    return result;
}
```
