Move concrete semantics into a subdirectory