implement monotype restriction to all mutable variables