WIP: started type checking of star expr. Added check for nr lvalues vs rvalues