Add basic skeleton classes for semantic verification.

Signed-off-by: Etienne M. Gagnon <egagnon@j-meg.com>