Rudimentary type checking of star expr: Added check for nr lvalues vs rvalues