Avoid warnings by declaring some variables IGNORE.
Added type inference as one possible operation.
New files for different compilation situations.
Eliminated previous attempt at backend-neutral operations.