Correctly populating ASaPTypes in SemanticChecker and fixed some small bugs in TypeChecker.
Also added a couple of test-cases to regions.cpp