template alias in nest, pair is now defined as follows: template pair {typefirst typesecond} {$typefirst first ; $typesecond second}
(followup commit to remove debuggin statement) template aliases in nest, pair is now defined as follows: template pair {typefirst typesecond} {$typefirst first ; $typesecond second}