Optimize Namers

Avoid the dependent method type checker for constructors
with 0-1 argument list(s), and for other methods with no parameters.
update comment
fixup default getters commit