added typecheck decorators to concepts lecture