semantic: Add more ctfe functionallity