restructing NumericalHilbert.m2 to use NAGtypes
renamed isContained to member

# Please enter a commit message to explain why this merge is necessary,
# especially if it merges an updated upstream into a topic branch.
#
# Lines starting with '#' will be ignored, and an empty message aborts
# the commit.
need to fix decompose for non-reduced components: make sure all works for embedded-component-test.m2
Merge branch 'NAG' of github.com:antonleykin/M2
M2/BUILD is git-ignored
merge; rebuilding functions to compute dual spaces
redoing truncated dual
Merge branch 'master' of github.com:kroner/M2 into NAG

# Please enter a commit message to explain why this merge is necessary,
# especially if it merges an updated upstream into a topic branch.
#
# Lines starting with '#' will be ignored, and an empty message aborts
# the commit.
fixed an "evaluate" test; SIGSEGV substituting RR into a CC polymap (linalg branch)
random WitnessSet -- random point on a component
endgame via Cauchy theorem implemented; needs an implementation in the kernel eventually.
truncatedDual point bug fixed.  gCorners in working order.
Merge branch 'NAG' of github.com:antonleykin/M2
todo and minor changes
regrouped some functions
various changes to NumericalHilbert