Reintroduce 'prod'. Added laws for SemiIsoApply and improved comments.