Track embedded blocks in methods, and set holder

Signed-off-by: Stefan Marr <git@stefan-marr.de>
Added another specialization for EqualPrim

Signed-off-by: Stefan Marr <git@stefan-marr.de>