falco up and running with the type checking