Implemented recent document change to deal with assignment and monomorphism correctly.