Semantic Analyser: only types field and bool exists

[leolara]

If a variable or signal is declared with a different type, give error type does not exists.