type-checking intro in dev-man