semantic: Add a simple tracer that prints function names upon execution.
semantic: Check runtime functions and classes.