extended memoizer to handle lower bounds for paramaterized type ; now using it for product of stars
refactoring product star calculation