Optimization: Avoid another n^2 behaviour in Typers

This time in checking for synthetics in a package context.
Optimization: Tighter code for SuperArgsAttachment
Optimization: Faster array slicing in the backend
Optimize: far fewer calls to `fullName` and friends in GenASM

TODO same for GenBCode
Optimization: only check for implicit not found on types