added mappings between types;
added naive printing function;
fixed query;
sketched more flexible query function -- compiles but doesn't work yet;
tuned comments;
tuned error message;
removed redundant parameter;
fixed bug: wasn't applying record selector. bug was introduced when generalising the containing function;
Merge pull request #6 from niksu/master

generalised query evaluator