Smart completion: declarations of type Nothing filtered out
Refactored completion tests to support more flexible input file format
Smart completion: this expressions added