Some scaladoc and cleanup commented code for a type matcher using macro.