Got my very first generic semantic check to pass. more on the way