typechecked mem::id's
refactor poly code
fix normal/tangent computation for triangle intersection