Support for call-by-name constructor parameters (issue#18)

Solves #18 
Nope.
I just want to cover the case when TypeRef tree is expanded, more than just `=> A`.
I'll add one more case for types without any parameters.